Distributed System Development in B
نویسندگان
چکیده
The B-Method is a method for the stepwise derivation of sequential programs. In this paper we show how the B-Method can be used for designing distributed systems by embedding action systems within this method. The action system formalism is designed for the construction of parallel and distributed systems in a stepwise manner within the refinement calculus. We describe how action systems are written in B AMN. We also show the correspondence between refinement rules for action systems and the proof obligations generated in the B-Method. Furthermore, we propose an extension of the B-Method to cover parallel and distributed systems. Familiarity with B AMN is assumed.
منابع مشابه
Distributed multi-agent Load Frequency Control for a Large-scale Power System Optimized by Grey Wolf Optimizer
This paper aims to design an optimal distributed multi-agent controller for load frequency control and optimal power flow purposes. The controller parameters are optimized using Grey Wolf Optimization (GWO) algorithm. The designed optimal distributed controller is employed for load frequency control in the IEEE 30-bus test system with six generators. The controller of each generator is consider...
متن کاملDistributed Black-Box Software Testing Using Negative Selection
In the software development process, testing is one of the most human intensive steps. Many researchers try to automate test case generation to reduce the manual labor of this step. Negative selection is a famous algorithm in the field of Artificial Immune System (AIS) and many different applications has been developed using its idea. In this paper we have designed a new algorithm based on nega...
متن کاملResearchers and professionals viewpoints on medicinal plant problems in Iran
Determination of the most important problems on medicinal plants in Iran in relation to Education, Management, Research and Development and Domestication of endemic and exotic medicinal plants. This study was a measuremental study in 2002 based on 36 filled questionnaire distributed among researchers and professionals in Iran. - 89 percent of researchers and professionals believed in a lack of ...
متن کاملInvestigating and Improving the Effect of Distributed Generation on Reliability in Wind Systems by ARMA Method
The increasing development of the use of new energies has led to the widespread use of power electronics, so that electronic power converters play an important role in extracting power from renewable sources. Power electronics can convert raw energy produced from new energy into the desired power with controlled current, voltage and frequency to be used in the power grid. Restructuring of power...
متن کاملResearchers and professionals viewpoints on medicinal plant problems in Iran
Determination of the most important problems on medicinal plants in Iran in relation to Education, Management, Research and Development and Domestication of endemic and exotic medicinal plants. This study was a measuremental study in 2002 based on 36 filled questionnaire distributed among researchers and professionals in Iran. - 89 percent of researchers and professionals believed in a lack of ...
متن کاملCurrent progress in the development of therapeutic vaccines for chronic hepatitis B virus infection
Chronic hepatitis B is still a major public health issue despite the successful prophylactic vaccination attempts. Chronicity of hepatitis B virus(HBV) is mainly due to its ability to debilitate host's immune system. Therefore, major measures have been taken to stop this process and help patients with chronic hepatitis B infection recover from their illness. While satisfactory results have been...
متن کامل